@$i$: $k$ sends only links in $L$($j$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if eqof(IdDeq)($j$,$i$) then $k$ sends only on links in $L$ else  fi